221. Teaching formal methods
Author: / C. Neville Dean, Raymond T. Boute (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Formal methods (Computer science)- Study and teaching- Congresses,Computer software- Development- Study and teaching- Congresses
Classification :
QA76
.
9
.
F67
,
T46
2004
R


222. Technology, infrastructure, WDM networks, NOC 96
Author: edited by D.W. Faulkner and A.L. Harmer
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Optical Communications - Congresses , Fiber optics - Congresses , Computer networks - Congresses , Computer software - Development - Congresses
Classification :
TK
5103
.
59
.
T42
1996


223. The Quality challenge
Author: / editors, C.Hawkins, M.Ross, G. Staples
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer software industry - - Quality Control - - Congresses,Computer software - Development - - Quality Control - - Congresses
Classification :
QA
76
.
76
.
Q35I55
1997


224. The Quality challenge
Author: / editors, C.Hawkins, M.Ross, G. Staples
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Computer software industry - - Quality Control - - Congresses,Computer software - Development - - Quality Control - - Congresses
Classification :
QA
76
.
76
.
Q35I55
1997


225. The common component modeling exampl
Author: / Andreas Rausch ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Component software--Congresses,Computer software--Development--Congresses,Software architecture--Congresses

226. The common component modeling example
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Component software ; Congresses. ; Computer software ; Development ; Congresses. ; Software engineering ; Congresses. ;

227. The quality challenge
Author: / editors, C. Hawokins, M. Ross, G. Staples
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Computer software industry -- Quality control -- congresses,Computer software - Development - - Quality Control - - Congresses
Classification :
QA
76
.
76
.
Q35I55
1997


228. The quality challenge
Author: / editors, C. Hawokins, M. Ross, G. Staples
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Computer software industry -- Quality control -- congresses,Computer software - Development - - Quality Control - - Congresses
Classification :
QA
76
.
76
.
Q35I55
1997


229. The quality challenge: software quality management 5
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Computer software industry-- Quality control,Congresses ، Computer software-- Development-- Quality control
Classification :
QA
76
.
76
.
Q35
.
I55
1997


230. The unified modeling language, UML 2002 :
Author: Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Congresses -- Development.,Logiciels -- Congrès -- Développement.,UML (Computer science) -- Congresses.

231. The unified modeling language : UML'99 : beyond the standard : Second International Workshop, Fort Collins, Co, October 28-30, 1999 : proceedings
Author: Robert France, Bernhard Rumpe )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
Classification :
QA
76
.
L28
Vol
.
1723


232. Theory and Practice of Model Transformations
Author: \ Dimitris Kolovos , Manuel Wimmer (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Model-driven software architecture -- Congresses.,Computer software -- Development -- Congresses.,نرمافزار -- تولید -- کنگره ها
Classification :
QA
76
.
9
.
A73T46
2015
E-Book
,


233. Theory and practice of model transformations
Author: Zhenjiang Hu, Juan de Lara (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Model-driven software architecture, Congresses
Classification :
QA76
.
76
.
D47
I26
2012eb


234. Theory and practice of model transformations :
Author: Laurence Tratt, Martin Gogolla (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses.,Model-driven software architecture, Congresses.

235. Theory and practice of model transformations :
Author: Laurence Tratt, Martin Gogolla (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses.,Model-driven software architecture, Congresses.

236. Theory and practice of model transformations
Author: Richard F. Paige (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Model-driven software architecture, Congresses
Classification :
QA76
.
76
.
D47
I26
2009


237. Tools and algorithms for the construction and analysis of system
Author: / C.R. Ramakrishnan, Jakob Rehof (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: System design--Congresses,System analysis--Congresses,Computer software--Development--Congresses
Classification :
QA
,
76
.
9
,.
S88
,
T33
,
2008


238. Tools and algorithms for the construction and analysis of systems
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: System design ; Congresses. ; Computer software ; Development ; Congresses. ;

239. Tools and algorithms for the construction and analysis of systems :
Author: Tiziana Margaria, Bernhard Steffen, (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.

240. Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS'96, Passau, Germany, March 27-29 : proceedings
Author: Tizina Margaria, Bernhard Steffen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1055

